/*@
 */
int main ()
{
  int i;
  while (true)
    { i = 1;
    }
  return i;
}
/*@
 */
